机译:可满足性不允许多项式稀疏化,除非多项式时间层次结构崩溃
机译:可满足性不允许非平凡的稀疏化,除非多项式时间层次结构崩溃
机译:图的非同构具有次指数大小证明,除非多项式时间层次崩溃
机译:如果布尔层次结构折叠,则多项式时间层次结构折叠
机译:多项式时间随机Oracle,不确定的亚线性时间和布尔函数复杂度
机译:用于识别尺神经多级压迫的分级刮擦塌陷测试
机译:向下崩溃的原因是什么:使用Easy-Hard技术进行链接 布尔和多项式层次结构折叠
机译:计算解决方案独特地折叠多项式层次结构